Caristi fixed-point theorem